type QualifiedType = A  .  B . C